100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 2

Jacob M. Howe and Andy King, A Pearl on SAT and SMT Solving in Prolog, Theoretical Computer Science Volume 435, 1 June 2012, Pages 43-55.
DOI: http://dx.doi.org/10.1016/j.bbr.2011.03.031
Open Access: Available from Kent School of Computing ( Read more... )

I have heard from the reviewers about the revised version of your ( Read more... )

If your proof plan is going astray,
with a wave-front blocking the way,
then dream up a lemma,
to ripple the fella,
so fertilize can have its day.

Alan Bundy

When I ran the Automated Reasoning Workshop in 2006 I swore never to do so again. So I'm not quite sure how I ended up running it this year as well. It was a lot less stressful this time round, but then this time round I persuaded Volker Sorge to take responsibility for the finances and frankly running a workshop is a lot more fun if you don't ( Read more... )

I've this long list of things I've been meaning to blog about over the past few months. I recall making a rather drunken post from BundyFest at the time, but I thought I might try a more sober round up of the event. In brief, Alan Bundy, my PhD supervisor is 61 so we had a symposium to celebrate his 60th Birthday and the opening of the " ( Read more... )

Achieved:

• Gave Dream Talk. AB suggested checking out Machine Learning literature and asking AI about testing.
• Got an IsaPlanner critic to work, but couldn't integrate it with the middle-out reasoning proof of yesterday.

Unachieved:

• Blue book note still unwritten but exists as a draft.
• End-to-end example of using program slicing to detect and error ( Read more... )

Achieved:

• Established that B. was well enough to get G. to school and can now walk without crutches. Re-assured that they won't starve before I get back I have stuck by my original plan to return home tomorrow evening.
• Talked to DA. This involved installing yet another version of emacs, a new version of proof general, three new versions of ( Read more... )